Abstract interpretation - PDFSEARCH.IO - Document Search Engine

Abstract interpretation
Results: 510

#	Item
491	Socially Responsive, Environmentally Friendly Logic Samson Abramsky Oxford University Computing Laboratory Abstract We consider the following questions: What kind of logic has a natural semantics in Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:33:53 Semantics Formal languages Predicate logic Independence-friendly logic Game semantics Interpretation First-order logic Model theory Entailment Logic Philosophical logic Metalogic
492	BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 42, Number 2, Pages 119–135 Add to Reading List Source URL: www.ams.org Language: English - Date: 2010-01-14 12:40:27 Algebra Motive Interpretation Representation theory Function Constructible universe Formal power series Motivic integration Equivalence relation Mathematics Abstract algebra Algebraic geometry
493	Software Verification Grégoire Sutre LaBRI, University of Bordeaux, CNRS, France Add to Reading List Source URL: www.mpi-inf.mpg.de Language: English - Date: 2008-09-23 03:26:04 Algebra Order theory Algebraic structures Galois connection Constructible universe Lattice Abstract algebra Mathematics Abstract interpretation
494	ABSTRACT INTERPRETATION USING LAZINESS: PROVING CONWAY’S LOST COSMOLOGICAL THEOREM KEVIN WATKINS Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2007-09-14 13:01:55 Elementary mathematics Functional languages Procedural programming languages Higher-order functions Fold Recursion ML Sequence Function Software engineering Computer programming Computing
495	An Institutional View on Categorical Logic Florian Rabe, Jacobs University Bremen Till Mossakowski, DFKI-Lab Bremen and University of Bremen Add to Reading List Source URL: kwarc.info Language: English - Date: 2011-08-04 12:26:08 Model theory Category theory Structure Interpretation Monoid Category Enriched category Symbol First-order logic Mathematics Abstract algebra Mathematical logic
496	Lax Logical Relations Gordon Plotkin1 , John Power1 , Donald Sannella1 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-06-30 10:44:07 Model theory Structure Parity of a permutation Interpretation Tensor product Orbifold Modal companion Abstract algebra Mathematics Algebra
497	Isomorphism is equality Thierry Coquand∗, Nils Anders Danielsson∗ University of Gothenburg and Chalmers University of Technology Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-10-18 07:55:34 Monoid Semigroup theory Interpretation Equality Type theory Combinatorial species Function Isomorphism Sheaf Mathematics Abstract algebra Category theory
498	2. Abstract State Machines The notion of Abstract State Machines (ASMs), deﬁned in [20], captures in Add to Reading List Source URL: www.di.unipi.it Language: English - Date: 2001-07-30 06:50:43 Logic Symbol Function Interpretation Abstract state machines Independence Mathematics Formal methods Models of computation
499	Theory and Applications of Categories, Vol. 24, No. 3, 2010, pp. 39–83. JOYAL’S ARITHMETIC UNIVERSE AS LIST-ARITHMETIC Add to Reading List Source URL: www.math.unipd.it Language: English - Date: 2010-02-22 14:55:33 Mathematical structures Model theory Metalogic Function Cartesian closed category Equivalence relation Combinatorial species Interpretation Mathematical logic Mathematics Abstract algebra Algebraic structures
500	Theory and Applications of Categories, Vol. 24, No. 3, 2010, pp. 39–83. JOYAL’S ARITHMETIC UNIVERSE AS LIST-ARITHMETIC Add to Reading List Source URL: www.tac.mta.ca Language: English - Date: 2010-02-20 12:22:21 Mathematical structures Model theory Metalogic Function Cartesian closed category Equivalence relation Combinatorial species Interpretation Mathematical logic Mathematics Abstract algebra Algebraic structures

UPDATE